陆浑水库调洪演算程序设计方法研究

论述了用Visual Basic 2010编程语言实现陆浑水库调洪演算的方法和编程技巧,使用该程序可快速、方便、灵活地进行水库调洪计算,为水库及下游河道防洪决策提供依据。同时,针对目前陆浑水库洪水预报调度系统存在的库区雨量站不足、水位库容关系发生较大变化等问题,建议:①将水库上游雨量站增至40⁵0个;②进行洪水预报方案研究;③进行库容曲线复核测量。     

南水北调中线工程北汝河段串流区淹没解决方案分析

北汝河和石河之间以及石河右岸地势较低,北汝河和石河洪水漫溢出槽;南水北调中线工程总干渠及各河道建筑物修建后缩窄了行洪断面,对河道的行洪产生一定影响,上游水位壅高、淹没时间延长,上游耕地和村庄淹没水深有所增大。结合北汝河串流片特点对淹没影响进行处理,选定了征迁安置、河道防护、河道治理、河道防护与河道治理结合4个处理方案进行研究比选,按照技术可行、经济最优并最大限度的保障受淹没影响村民安居乐业的标准,选定方案三即河道治理方案为最优方案。     

应用水面线法进行双库连通调洪演算的实践

针对山东省墙夼水库由两个既独立又相互连通的水库组成的特点,分析、探讨双库连通调洪演算理论方法,建立双库连通调洪演算的计算模型,给出水面线数学模型和算法,用于墙夼水库设计洪水复核.计算结果表明,该方法中间环节少,操作性强,可应用于水库工程的抗洪能力评价和调度运用方案制定.     

随机网络演算及性能分析

对网络系统中的时延等性能指标问题,利用随机网络演算对单节点服务器建立ON/OFF到达模型和常速率服务器模型,建立了单节点服务器的时延分析框架,求解得到时延的边界,并通过NS2仿真工具进行实验分析验证了框架的有效性。该方法得到的时延的违约概率在5 s之内,对计算机网络性能的分析和随机网络演算的应用具有指导意义。     

半定性约束满足问题求解

从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件SQCSP的多项式时间判定算法。证明了上述判定算法的正确性,并给出了实例构造算法。最后,利用SQCSP算法实现了带变量布尔运算的QCSP求解。     

基于综合单位线法的河道设计洪水参数推算

以深圳市观澜河支流白花河为研究对象,开展基于综合单位线法的设计洪水推算及参数选取研究.通过比较综合单位线法和推理公式法推算的各断面洪峰流量计算结果,说明综合单位线法的洪水计算成果偏于防洪安全.实例研究表明综合单位线法适合于类似地区的洪水计算.     

跨组织多业务事务建模与验证方法

面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为.在验证过程中,基于等价自动机转换思路集成现有模型检验技术,验证多业务事务是否满足人们需要的各种性质.实验结果表明,该建模与验证方法能够有效地保障多业务流程在设计与实现过程中的正确性.     

具有自相似到达流的无线Mesh网络流量模型

随着无线Mesh网络应用的日益广泛,无线Mesh网络的服务提供和性能保证逐渐成为研究者和使用者关心的主题,本文根据无线Mesh网络中流量的到达具有自相似特性,基于当前流行的随机网络演算提出具有分形布朗运动的自相似到达流的无线Mesh网络流量模型.利用中心极限定理构造聚合流和单流的随机到达曲线.数值结果表明本文提出的流量模型能反映出无线Mesh网络流量的实际特征.本文结论在基于随机网络演算的高质量、高可靠性的无线Mesh网络服务质量保证研究中具有重要的理论价值,对无线Mesh网络的性能评价具有重要意义.     

π演算于辅助泊车的应用

随着生活中出现停车越来越难的问题,已出现在普适计算环境下辅助泊车的设计。在生活中有关实际问题的设计,都需要从理论上证明。针对辅助泊车流程与兼容性的需求,从π演算的语法和操作语义等理论入手,对辅助泊车的构件行为进行建模同时验证辅助泊车设计的构件行为的兼容性。将π演算的理论与实际相结合,实现了计算机理论与实践的相结合。     

基于网络演算的簇树WSN性能上界分析

为保证WSN的服务质量(QoS),需精确求解其性能上界。对进入WSN节点的数据流进行漏桶管制,节点为数据流提供基于速率-延迟模型的服务保障,在已有簇状拓扑WSN性能模型研究基础上,利用确定性网络演算理论推导簇树WSN节点的有效带宽、缓冲区队列长度上界和数据流端到端延迟上界。